Issue2456.agda:9,12-19
Unexpected declaration
